課程資訊
課程名稱
 系統晶片驗證
Soc Verification 
開課學期
 99-2 
授課對象
 電機資訊學院  電子工程學研究所  
授課教師
 黃鐘揚 
課號
 EEE5023 
課程識別碼
 943 U0250 
班次
  
學分
 3 
全/半年
 半年 
必/選修
 選修 
上課時間
 星期五2,3,4(9:10~12:10) 
上課地點
 電二104 
備註
 總人數上限：50人 
Ceiba 課程網頁
 http://ceiba.ntu.edu.tw/992socv 
課程簡介影片
 
核心能力關聯
 核心能力與課程規劃關聯圖
課程大綱
為確保您我的權利,請尊重智慧財產權及不得非法影印
課程概述

1.Verification problems in SoC Designs.
2.Block, system, vs. SoC Verification.
3.Simulation-based verification. Testbench Authoring.
4.Assertion-based verification (ABV). Property specification language.
5.Simulation speed-up by emulation. Prototyping verification.
6.Formal verification techniques. Automatic test pattern generation (ATPG). Boolean Satisfiability (SAT). Binary Decision Diagram (BDD).
7.Semi-Formal verification.
8.Equivalence checking. Property checking.
9.Future SoC verification challenges and directions.
 

課程目標
  
課程要求
 1.Homework 30%
2.Mid-term exam 30%
3.Final exam or project 40%
 
預期每週課後學習時數
  
Office Hours
  
指定閱讀
  
參考書目
 Textbook： 1.“System-on-a-Chip Verification - Methodology and Techniques”, Prakash Rashinkar, Peter Paterson, and Leena Singh, Kluwer Academic Publishers.
2.“Assertion-Based Design”, Harry Foster, Adam Krolnik, and David Lacey, Kluwer Academic Publishers.
3.“Writing Testbenches: Functional Verification of HDL Models”, Janick Bergeron, Kluwer Academic Publishers.
4.Class handouts/slides.
 
評量方式
(僅供參考)
    
課程進度
週次
日期
單元主題
Week 1
 2/25  0. Class Introduction

1. Introduction to Design Verification 
Week 2
 3/04  2. Overview of Functional Verification Techniques 
Week 3
 3/11  2. Overview of Functional Verification Techniques 
Week 4
 3/18  2. Overview of Functional Verification Techniques 
Week 5
 3/25  3. Formal Verification Basics 
Week 6
 4/01  4. BDD-Based Verification 
Week 7
 4/08  4. BDD-Based Verification 
Week 8
 4/15  4. BDD-Based Verification 
Week 9
 4/22  Mid Term Exam (Class resumed after exam) 
Week 10
 4/29  5. Boolean Satisfiability (SAT) Solver 
Week 11
 5/06  5. Boolean Satisfiability (SAT) Solver 
Week 12
 5/13  6. SAT-Based Verification 
Week 13
 5/20  6. SAT-Based Verification 
Week 14
 5/27  7. Applications of SAT 
Week 15
 6/03  7. Applications of SAT 
Week 16
 6/10  DAC week (no class) 
Week 17
 6/17  7. Applications of SAT 
Week 18
 06/24  Final Exam 
Week 19
 06/30  Final Project Presentation